Functional monadic $n$-valued Łukasiewicz algebras
نویسندگان
چکیده
منابع مشابه
NOTES ON MONADIC n-VALUED LUKASIEWICZ ALGEBRAS
A topological duality for monadic n-valued Lukasiewicz algebras introduced by M. Abad (Abad, M.: Estructuras cíclica y monádica de un álgebra de Lukasiewicz nvalente. Notas de Lógica Matemática 36. Instituto de Matemática. Universidad Nacional del Sur, 1988) is determined. When restricted to the category of Q-distributive lattices and Q-homomorphims, it coincides with the duality obtained by R....
متن کاملFunctional Monadic Bounded Algebras
The variety MBA of monadic bounded algebras consists of Boolean algebras with a distinguished element E, thought of as an existence predicate, and an operator ∃ reflecting the properties of the existential quantifier in free logic. This variety is generated by a certain class FMBA of algebras isomorphic to ones whose elements are propositional functions. We show that FMBA is characterised by th...
متن کاملFunctional monadic Heyting algebras
We show every monadic Heyting algebra is isomorphic to a functional monadic Heyting algebra. This solves a 1957 problem of Monteiro and Varsavsky [9].
متن کاملFree (n + I)-valued C-algebras
A method to determine the number of elements of the (11, + I )-valued Calgebra with a finite set of free generators is described . Applying this method for n = 1 and n = 2, we find again the result.s obtained by L. Iturrioz and A. Monteiro ( [7] ) and by 1. Iturrioz and O. Ruecla ( [8] ) respectively.
متن کاملMonadic dynamic algebras
The main purpose of this work is to introduce the class of the monadic dynamic algebras (dynamic algebras with one quantifier). Similarly to a theorem of Kozen we establish that every separable monadic dynamic algebra is isomorphic to a monadic (possibly non-standard) Kripke structure. We also classify the simple (monadic) dynamic algebras. Moreover, in the dynamic duality theory, we analyze th...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Mathematica Bohemica
سال: 2005
ISSN: 0862-7959,2464-7136
DOI: 10.21136/mb.2005.134208